protocol bridgesNonexistent {
    bridges Leftie, Rightie;

child: __delete__();
state DEAD: send __delete__;
};
